• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
تعداد ۱۸۰ پاسخ غیر تکراری از ۱۸۱ پاسخ تکراری در مدت زمان ۰,۴۱ ثانیه یافت شد.

101. Mathematical foundations of programming semantics: 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: S. Brookes...]et al.[, )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Programming languages )Electronic computers( -- Semantics

Classification :
QA
76
.
L28
Vol
.
598

102. Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: M. Main...]et al.[, )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer science -- Mathematics

Classification :
QA
76
.
L28
Vol
.
442

103. MetaSoft Primer

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: \ Andrzej Blikle.

Library: Library of Foreign Languages and Islamic Sources (Qom)

Subject: Metalanguage,فرازبان,a02,a02,Programming languages (Electronic computers) -- Semantics.,زبان‌های برنامه‌نویسی کامپیوتر -- م‍ع‍ن‍ی‌ش‍ن‍اس‍ی‌

Classification :
E-Book
,

104. MetaSoft primer :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Andrzej Blikle.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer software-- Development.,Metalanguage.,Programming languages (Electronic computers)-- Semantics.

Classification :
QA76
.
7
.
B57
1987

105. MetaSoft primer : towards a metalanguage for applied denotational semantics

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Andrzej Blikle

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: ، Programming languages )Electronic computers( -- Semantics,، Metalanguage,، Computer software -- Development

Classification :
QA
76
.
L28
Vol
.
288

106. Natural language at the computer: proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library of Sharif University of Technology (Tehran)

Subject: Congresses ، Natural language processing )Computer science(,Congresses ، Text processing )Computer science(,Syntax Congresses ، Programming languages )Electronic computers(,Semantics Congresses ، Programming languages )Electronic computers(

Classification :
QA
76
.
9
.
N38
.
S38
1988

107. Natural language understanding

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Allen, James

Library: Library of Niroo Research Institue (Tehran)

Subject: ، Programming languages )Electronic computers(- Semantics,، Language and logic,، Artificial intelligence

Classification :
QA
76
.
7
.
A44
1987

108. Natural language understanding

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / James Allen

Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)

Subject: Programming languages (Electronic computers)- Semantics,Language and logic,Artificial intelligence

Classification :
QA76
.
7
.
A44
1995

109. Natural language understanding

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / James Allen

Library: Central library and document university of Kurdistan (Kurdistan)

Subject: Programming languages (Electronic computers) -- Semantics,Language and logic,Artificial intelligence

Classification :
QA76
.
7
.
A44N3

110. Natural language understanding

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / James Allen

Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)

Subject: Programming languages (Electronic computers)- Semantics,Language and logic,Artificial intelligence

Classification :
QA76
.
7
.
A44
1995

111. Natural language understanding and logic programming, II

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / edited by Veronica Dahl and Patrick Saint-Dizier

Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)

Subject: Programming languages (Electronic computers)- Semantics- Congresses,Logic programming- Congresses

Classification :
QA76
.
7
.
I578
1987

112. Natural language understanding and logic programming, II. : Proceedings of the...17-19 Aug., 1987

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Veronica Dahl and Patrick Saint-Dizier

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Logic programming

Classification :
QA
76
.
63
.
I58
1987

113. Ordinateurs, Programmation , et langues naturelles

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Par Jacques Andr`e et Catherine Fuchs,Andre

Library: Central Library and Documents Center of Tehran University (Tehran)

Subject: Electronic digital computers -- Programming,Programming languages ( Electronic computers) --Semantics

Classification :
QA
76
.
6
.
A5

114. Practical aspects of declarative languages

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Programming languages (Electronic computers) ; Semantics ; Congresses. ;

Classification :

115. Practical aspects of declarative languages :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Pascal Van Hentenryck (ed.)

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Programming languages (Electronic computers)-- Semantics, Congresses

Classification :
QA76
.
7
.
P32
2006

116. Practical aspects of declarative languages

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Andy Gill, Terrance Swift (eds.)

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Declarative programming languages, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses

Classification :
QA76
.
615
.
P33
2009eb

117. Practical aspects of declarative languages

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Michael Hanus (ed.)

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Programming languages (Electronic computers)--Semantics--Congresses

Classification :
QA
,
76
.
7
,.
P32
,
2007

118. Practical aspects of declarative languages : First International Workshop, PADL'99, San Antonio, Texas, USA, January 1999 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Gopal Gupta )ed.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Programming languages )Electronic computers( -- Semantics

Classification :
QA
76
.
L28
Vol
.
1551

119. Practical aspects of declarative languages : second International Workshop, PADL 2000, Boston, MA, USA, January 17-18, 2000 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Enrico Pontelli, Vitor Santos Costa )ed.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Declarative programming

Classification :
QA
76
.
L28
Vol
.
1753

120. Practical aspects of declarative languages : 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Manuel Hermenegildo, Daniel Cabeza )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Programming languages )Electronic computers( -- Semantics

Classification :
QA
76
.
L28
Vol
.
3350
  • »
  • 9
  • 8
  • 7
  • 6
  • 5
  • 4
  • 3
  • 2
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival